use libc;
static NUM_STUDENTS: libc::c_int = 5;
